alethic logic
Định nghĩa
Danh từ: - Lô-gíc học về sự tất yếu và khả năng: "alethic logic" là một nhánh của lô-gíc học hình thức, nghiên cứu các khái niệm về sự tất yếu (necessity), khả năng (possibility), và sự ngẫu nhiên (contingency) trong các mệnh đề. Nó thuộc về lô-gíc mô thức (modal logic) và tập trung vào các chân trị (truth values) dựa trên các phương thức này.
Ví dụ sử dụng
- (Lô-gíc học về sự tất yếu và khả năng được sử dụng để phân tích các phát biểu như "Tất yếu rằng 2+2=4" hoặc "Có khả năng rằng ngày mai trời sẽ mưa.")
- (Trong lô-gíc học về sự tất yếu và khả năng, khái niệm ngẫu nhiên chỉ các phát biểu không tất yếu đúng cũng không tất yếu sai.)
Các cách sử dụng nâng cao
"alethic modalities": các phương thức của sự tất yếu và khả năng, bao gồm "necessary" (tất yếu), "possible" (có khả năng), và "contingent" (ngẫu nhiên).
- The alethic modalities are fundamental to understanding metaphysical necessity. (Các phương thức của sự tất yếu và khả năng là nền tảng để hiểu về sự tất yếu siêu hình.)
"alethic logic vs. epistemic logic": sự khác biệt giữa lô-gíc học về sự tất yếu và khả năng và lô-gíc học về tri thức (epistemic logic), vốn nghiên cứu các khái niệm như "biết" (know) và "tin" (believe).
- While alethic logic deals with necessity and possibility, epistemic logic deals with knowledge and belief. (Trong khi lô-gíc học về sự tất yếu và khả năng xử lý sự tất yếu và khả năng, lô-gíc học về tri thức xử lý kiến thức và niềm tin.)
Biến thể và từ gần giống
- Alêthic (tính từ): thuộc về sự tất yếu và khả năng.
- This is an alethic concept. (Đây là một khái niệm thuộc về sự tất yếu và khả năng.)
Từ đồng nghĩa
- Modal logic of necessity and possibility: lô-gíc mô thức về sự tất yếu và khả năng.
- Alethic modality: phương thức của sự tất yếu và khả năng (thường dùng để chỉ các khái niệm cụ thể hơn).
Các cụm từ (phrasal verbs) liên quan
- (Không có phrasal verbs trực tiếp liên quan đến "alethic logic" vì đây là thuật ngữ kỹ thuật, không phải động từ.)
Thành ngữ liên quan
- (Không có thành ngữ phổ biến liên quan đến "alethic logic".)